#ifndef PROCESSTABLE_H
#define PROCESSTABLE_H

#include "synch.h"

extern int processID;
extern int liveThreadCount;
extern Lock *processTableLock;

#endif
